02 JAN 2011 by ideonexus

 Assessing Trust, Subjective Logic, Real-Valued Triple

Another key factor in assessing the trustworthiness of a document is the reliability or otherwise of the claims expressed within it; metadata about provenance will no doubt help in such judgements but need not necessarily resolve them. Representing confidence in reliability has always been difficult in epistemic logics. In the context of knowledge representation approaches include: subjective logic, which represents an opinion as a real-valued triple (belief, disbelief, uncertainty) where the...
  1  notes

Need to follow up on these concepts, learn more about them for establishing the trustworthiness and quality of content.

01 JAN 2010 by ideonexus

 Fundamental Names in Computer Science

Consider some fundamental names: Turing (computation theory and programmable automata), von Neumann (computer architecture), Shannon (information theory), Knuth, Hoare, Dijkstra, and Wirth (programming theory and algorithmics), Feigenbaum and McCarthy (artificial intelligence), Codd (relational model of databases), Chen (entity-relationship model), Lamport (distributed systems), Zadeh (fuzzy logic), Meyer (object-oriented programming), Gamma (design patterns), Cerf (Internet), Berners-Lee (WW...
  1  notes

The author uses this list as proof that computer science can be an inductive discipline, but a list of successes is useless for this argument. All of these "fundamental names" are such because their theories were proven in the real world. It's a selective list. We need to see a list of all theorists and then gauge how well induction works versus empiricism.

It does make a good list of big names and their contributions.